Prolog in Prolog